(0 17 15)(1 18 4)(2 19 7)(3 9 5)(6 13 8)(10 16 14)(11 20 12)
ALLOWS (11/8)-SEQUENCE
1: (3 9 20)
(0 17 15)(1 18 4)(2 19 7)(3 12 11 20 5)(6 13 8)(9)(10 16 14)
2: (2 19 7)
(0 17 15)(1 18 4)(2)(3 12 11 20 5)(6 13 8)(7)(9)(10 16 14)(19)
3: (6 13 8)
(0 17 15)(1 18 4)(2)(3 12 11 20 5)(6)(7)(8)(9)(10 16 14)(13)(19)
4: (5 11 20)
(0 17 15)(1 18 4)(2)(3 12 11)(5)(6)(7)(8)(9)(10 16 14)(13)(19)(20)